Polarization is a topic of intense interest among social scientists, but there is significant disagreement regarding the character of the phenomenon and little understanding of underlying mechanics. A first problem, we argue, is that polarization appears in the literature as not one concept but many. In the first part of the article, we distinguish nine phenomena that may be considered polarization, with suggestions of appropriate measures for each. In the second part of the article, we apply this analysis to evaluate (...) the types of polarization generated by the three major families of computational models proposing specific mechanisms of opinion polarization. (shrink)

Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or ‘votes’ and ‘talk.’ The Condorcet Jury Theorem is appealed to as a justification in terms votes, and the Hong-Page “Diversity Trumps Ability” result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these results (...) hold up if we vary the model so as to reflect the more familiar democratic structure of a representative hierarchy. We first recount extant analytic work that shows that representation inevitably weakens the voting results of the Condorcet Jury Theorem, but we question the ability of that result to shine light on real representative systems. We then show that, when we move from votes to talk, as modeled in Hong-Page, representation holds its own and even has a slight edge. (shrink)

As the federal government distributed remdesivir to some of the states COVID-19 hit hardest, policymakers scrambled to develop criteria to allocate the drug to their hospitals. Our state, Michigan, was among those states to receive an initial quantity of the drug from the U.S. government. The disparities in burden of disease in Michigan are striking. Detroit has a death rate more than three times the state average. Our recommendation to the state was that it should prioritize the communities that bear (...) a disproportionate burden of suffering in the allocation of the new potential treatment. This recommendation is justified not only for new drugs with uncertain effects, but also for drugs of certain benefit or vaccines. For states with significant health disparities, such as Michigan, this allocation priority may help to repair them. In fact, any other allocation strategy may make them worse. (shrink)

Background: -/- One influential view is that vulnerability to major depressive disorder (MDD) is associated with a proneness to experience negative emotions in general. In contrast, blame attribution theories emphasise the importance of blaming oneself rather than others for negative events. Our previous exploratory study provided support for the attributional hypothesis that patients with remitted MDD show no overall bias towards negative emotions, but a selective bias towards emotions entailing self-blame relative to emotions that entail blaming others. More specifically, we (...) found a decreased proneness for contempt/disgust towards others relative to oneself (i.e. self-contempt bias). Here, we report a definitive test of the competing general negative versus specific attributional bias theories of MDD. Methods: -/- We compared a medication-free remitted MDD (n = 101) and a control group (n = 70) with no family or personal history of MDD on a previously validated experimental test of moral emotions. The task measures proneness to specific emotions associated with different types of self-blame (guilt, shame, self-contempt/disgust, self-indignation/anger) and blame of others (other-indignation/anger, other-contempt/disgust) whilst controlling for the intensity of unpleasantness. Results: -/- We confirmed the hypothesis that patients with MDD exhibit an increased self-contempt bias with a reduction in contempt/disgust towards others. Furthermore, they also showed a decreased proneness for indignation/anger towards others. Conclusions: -/- This corroborates the prediction that vulnerability to MDD is associated with an imbalance of specific self- and other-blaming emotions rather than a general increase in negative emotions. This has important implications for neurocognitive models and calls for novel focussed interventions to rebalance blame in MDD. (shrink)

Background: Subgenual cingulate cortex (SCC) responses to self-blaming emotion-evoking stimuli were previously found in individuals prone to self-blame with and without a history of major depressive disorder (MDD). This suggested SCC activation reflects self-blaming emotions such as guilt, which are central to models of MDD vulnerability. -/- Method: Here, we re-examined these hypotheses in an independent larger sample. A total of 109 medication-free participants (70 with remitted MDD and 39 healthy controls) underwent fMRI whilst judging self- and other-blaming emotion-evoking statements. (...) They also completed validated questionnaires of proneness to self-blaming emotions including those related to internal (autonomy) and external (sociotropy) evaluation, which were subjected to factor analysis. -/- Results: An interaction between group (remitted MDD v. Control) and condition (self- v. other-blame) was observed in the right SCC (BA24). This was due to higher SCC signal for self-blame in remitted MDD and higher other-blame-selective activation in Control participants. Across the whole sample, extracted SCC activation cluster averages for self- v. other-blame were predicted by a regression model which included the reliable components derived from our factor analysis of measures of proneness to self-blaming emotions. Interestingly, this prediction was solely driven by autonomy/self-criticism, and adaptive guilt factors, with no effect of sociotropy/dependency. -/- Conclusions: Despite confirming the prediction of SCC activation in self-blame-prone individuals and those vulnerable to MDD, our results suggest that SCC activation reflects blame irrespective of where it is directed rather than selective for self. We speculate that self-critical individuals have more extended SCC representations for blame in the context of self-agency. (shrink)

Importance: Patients with remitted major depressive disorder (MDD) were previously found to display abnormal functional magnetic resonance imaging connectivity (fMRI) between the right superior anterior temporal lobe (RSATL) and the subgenual cingulate cortex and adjacent septal region (SCSR) when experiencing self-blaming emotions relative to emotions related to blaming others (eg, "indignation or anger toward others"). This finding provided the first neural signature of biases toward overgeneralized self-blaming emotions (eg, "feeling guilty for everything"), known to have a key role in cognitive (...) vulnerability to MDD. It is unknown whether this neural signature predicts risk of recurrence, a crucial step in establishing its potential as a prognostic biomarker, which is urgently needed for stratification into pathophysiologically more homogeneous subgroups and for novel treatments. -/- Objective: To use fMRI in remitted MDD at baseline to test the hypothesis that RSATL-SCSR connectivity for self-blaming relative to other-blaming emotions predicts subsequent recurrence of depressive episodes. -/- Design, setting, and participants: A prospective cohort study from June 16, 2011, to October 10, 2014, in a clinical research facility completed by 75 psychotropic medication-free patients with remitted MDD and no relevant comorbidity. In total, 31 remained in stable remission, and 25 developed a recurring episode over the 14 months of clinical follow-up and were included in the primary analysis. Thirty-nine control participants with no personal or family history of MDD were recruited for further comparison. -/- Main outcomes and measures: Between-group difference (recurring vs stable MDD) in RSATL connectivity, with an a priori SCSR region of interest for self-blaming vs other-blaming emotions. -/- Results: We corroborated our hypothesis that during the experience of self-blaming vs other-blaming emotions, RSATL-SCSR connectivity predicted risk of subsequent recurrence. The recurring MDD group showed higher connectivity than the stable MDD group (familywise error-corrected P < .05 over the a priori SCSR region of interest) and the control group. In addition, the recurring MDD group also exhibited RSATL hyperconnectivity with the right ventral putamen and claustrum and the temporoparietal junction. Together, these regions predicted recurrence with 75% accuracy. -/- Conclusions and relevance: To our knowledge, this study is the first to provide a robust demonstration of an fMRI signature of recurrence risk in remitted MDD. Additional studies are needed for its further optimization and validation as a prognostic biomarker. (shrink)

Psychologists and philosophers have not yet resolved what they take implicit attitudes to be; and, some, concerned about limitations in the psychometric evidence, have even challenged the predictive and theoretical value of positing implicit attitudes in explanations for social behavior. In the midst of this debate, prominent stakeholders in science have called for scientific communities to recognize and countenance implicit bias in STEM fields. In this paper, I stake out a stakeholder conception of implicit bias that responds to these challenges (...) in ways that are responsive to the psychometric evidence, while also being resilient to the sorts of disagreements and scientific progress that would not undermine the soundness of this call. Along the way, my account advocates for attributing collective (group-level) implicit attitudes rather than individual-level implicit attitudes. This position raises new puzzles for future research on the relationship (metaphysical, epistemic, and ethical) between collective implicit attitudes and individual-level attitudes. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

Sometimes it is indeterminate what an agent morally ought do. This generates a Decision Ought Challenge—to give moral guidance to agents in such a scenario. This article is a field guide to the options for a theory of the decision ought for cases of indeterminacy. Three categories of view are evaluated, and the best representative for each is identified.

I motivate and articulate a dispositional account of aversive racism. By conceptualizing and measuring attitudes in terms of their full distribution, rather than in terms of their mode or mean preference, my account of dispositional attitudes gives ambivalent attitudes (qua attitude) the ability to predict aggregate behavior. This account can be distinguished from other dispositional accounts of attitude by its ability to characterize ambivalent attitudes such as aversive racism at the attitudinal rather than the sub-attitudinal level and its deeper appreciation (...) of the analogy between traits and attitudes. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

In this paper, I propose a novel interpretation of the role of the understanding in generating the unity of space and time. On the account I propose, we must distinguish between the unity that belongs to determinate spaces and times – which is a result of category-guided synthesis and which is Kant’s primary focus in §26 of the B-Deduction, including the famous B160–1n – and the unity that belongs to space and time themselves as all-encompassing structures. Non-conceptualist readers of Kant (...) have argued that this latter unity cannot be the product of categorial synthesis. While they are correct that this unity is not the product of any particular act of category-guided synthesis, I argue that conceptualists are right to nevertheless attribute this unity to the understanding. I argue that it is a result of what we can think of as the ‘original’ synthesis of understanding and sensibility themselves – it is a synthesis, moreover, in which the whole is logically prior to the parts. (shrink)

The harmonious free play of the imagination and understanding is at the heart of Kant’s account of beauty in the Critique of the Power of Judgement, but interpreters have long struggled to determine what Kant means when he claims the faculties are in a state of free play. In this article, I develop an interpretation of the free play of the faculties in terms of the freedom of attention. By appealing to the different way that we attend to objects in (...) aesthetic experience, we can explain how the faculties are free, even when the subject already possesses a concept of the object and is bound to the determinate form of the object in perception. (shrink)

In this paper, I argue that Kant has a far more communitarian theory of aesthetic life than is usually acknowledged. I focus on two aspects of Kant’s theory that might otherwise be taken to support an individualist reading, namely, Kant’s emphasis on aesthetic autonomy and his characterization of judgments of taste as involving demands for agreement. I argue that the full expression of autonomy in fact requires being a member of an aesthetic community and that within such a community, judgments (...) of taste are issued as invitations to others to engage their faculties towards the goal of shared aesthetic appreciation. (shrink)

Under the traditional system of peer-reviewed publication, the degree of prestige conferred to authors by successful publication is tied to the degree of the intellectual rigor of its peer review process: ambitious scientists do well professionally by doing well epistemically. As a result, we should expect journal editors, in their dual role as epistemic evaluators and prestige-allocators, to have the power to motivate improved author behavior through the tightening of publication requirements. Contrary to this expectation, I will argue that the (...) publication bias literature in academic medicine demonstrates that editor interventions have had limited effectiveness in improving the health of the publication and trial registration record, suggesting that much stronger interventions are needed. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

In this paper, I examine the role of attention in Kant’s aesthetic theory in the Critique of the Power of Judgment. While broadly Kantian aestheticians have defended the claim that there is a distinct way that we attend to objects in aesthetic experience, Kant himself is not usually acknowledged as offering an account of aesthetic attention. On the basis of Kant’s more general account of attention in other texts and his remarks on attention in the Critique of the Power of (...) Judgment, I reconstruct Kant’s account of aesthetic attention. On this account, aesthetic attention is simultaneously directed at the form of an object and at the judging subject’s own mental states as she attends to the object. In the experience of beauty, we specifically attend to the harmonious relation between the faculties of imagination and understanding. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

According to a number of contemporary theorists, aesthetic reasons can invite or entice us but never compel us. In this paper, I develop a Kantian account of the normative force of aesthetic reasons. While Kant would likely agree that aesthetic reasons do not give rise to obligations, his account nevertheless gives us the resources for explaining how aesthetic reasons can still have more force than merely enticing reasons. This account appeals to the distinct normativity of aesthetic judgments on Kant's theory (...) and the way in which this kind of normativity structures aesthetic exchanges with other judging subjects. I argue that, in addition to the moral reasons we have for appreciating and preserving beauty, Kant’s account can accommodate distinctly aesthetic reasons for doing so that stem from our membership in aesthetic communities. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines (...) a dutch book, but we only have a partial converse. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

In his early experimental work with Suppes, Davidson adopted rationality assumptions, not as necessary constraints on interpretation, but as practical conceits in addressing methodological problems faced by experimenters studying decision making under uncertainty. Although the content of their theory has since been undermined, their methodological approach—a Galilean form of methodological rationalism—lives on in contemporary psychological research. This article draws on Max Weber’s verstehen to articulate an account of Galilean methodological rationalism; explains how anomalies faced by Davidson’s early experimental work gave (...) rise to his later, canonical claims about rationality and interpretation; and reclaims this Galilean framework for use in contemporary psychological research. (shrink)

In this paper, I argue that although Kant’s account of empirical schemata in the Critique of Pure Reason is primarily used to explain the shared content of intuitions and empirical concepts, it is also informed by methodological problems in natural history. I argue that empirical schemata, which are rules for determining the spatiotemporal form of objects, not only serve to connect individual intuitions with concepts, but also concern the very features of objects on the basis of which they were connected (...) and ordered in taxonomic systems based on similarity of form. I then suggest that Kant likely had scientific illustrations in mind in his discussion of empirical images in the Schematism chapter and that his account of schemata can help explain the epistemic function of these images in early modern science. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

In the Critique of Judgment, Kant claims that genius is a talent for art, but not for science. Despite his restriction of genius to the domain of fine art, several recent interpreters have suggested that genius has a role to play in Kant’s account of cognition in general and scientific practice in particular. In this paper, I explore Kant’s reasons for excluding genius from science as well as the reasons that one might nevertheless be tempted to think that his account (...) allows room for the scientific genius. I then argue that Kant’s concerns are not only epistemic, but also moral, and together, they give us good reason for resisting the veneration of genius. (shrink)

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

This study’s objective was to understand Colombian adolescents’ experiences and preferences regarding access to sexual and reproductive health services (SRHS), either alone or accompanied. A mixed-method approach was used, involving a survey of 812 participants aged eleven to twenty-four years old and forty-five semi-structured interviews with participants aged fourteen to twenty-three. Previous research shows that adolescents prefer privacy when accessing SRHS and often do not want their parents involved. Such findings align with the longstanding tendency to frame the ethical principle (...) of autonomy as based on independence in decision-making. However, the present study shows that such a conceptualization and application of autonomy does not adequately explain Colombian adolescent participants’ preferences regarding access to SRHS. Participants shared a variety of preferences to access SRHS, with the majority of participants attaching great importance to having their parents involved, to varying degrees. What emerges is a more complex and non-homogenous conceptualization of autonomy that is not inherently grounded in independence from parental involvement in access to care. We thus argue that when developing policies involving adolescents, policymakers and health professionals should adopt a nuanced “relational autonomy” approach to better respect the myriad of preferences that Colombian (and other) adolescents may have regarding their access to SRHS. (shrink)

Critical Review of Searle's Minds, Brains and Science.

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This paper outlines Lewis’s favoured foundational account of linguistic representation, and outlines and briefly evaluates variations and modifications. Section 1 gives an opinionated exegesis of Lewis’ work on the foundations of reference—his interpretationism. I look at the way that the metaphysical distinction between natural and non-natural properties came to play a central role in his thinking about language. Lewis’s own deployment of this notion has implausible commitments, so in section 2 I consider variations and alternatives. Section 3 briefly considers a (...) buck-passing strategy involving fine-grained linguistic conventions. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

The authors argue that their target is orthogonal to the realism and instrumentalist debate. I argue that it is born directly from it. While the distinction is helpful in illuminating how some ontological commitments demand a theory of implementation, it's less clear whether different views cleanly map onto the epistemic and metaphysical uses defined in the paper.

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

While Kant was arguably as deeply engaged with the emerging special sciences of his time as he was with Newtonian physics, there is a deep tension in his treatment of these disciplines. On the one hand, Kant endorses a reductionist approach in natural science. On the other hand, Kant is committed to a variety of anti-reductionist positions in empirical psychology, chemistry, and the emerging biological sciences. This chapter examines the precise form that Kant’s anti-reductionism takes in each of these domains (...) and the corresponding set of questions about the extent to which each of these constitutes a genuine science for Kant. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.